Data storage interpretation of labeled modal logic
نویسندگان
چکیده
منابع مشابه
Data Storage Interpretation of Labeled Modal Logic
We introduce reference structures { a basic mathematical model of a data organization capable to store and utilize information about its addresses. A propositional labeled modal language is used as a speciication and programming language for reference structures; the satissability algorithm for modal language gives a method of building and optimizing reference structures satisfying a given form...
متن کاملFocused Labeled Proof Systems for Modal Logic
Focused proofs are sequent calculus proofs that group inference rules into alternating negative and positive phases. These phases can then be used to define macro-level inference rules from Gentzen’s original and tiny introduction and structural rules. We show here that the inference rules of labeled proof systems for modal logics can similarly be described as pairs of such negative and positiv...
متن کاملA Modal Interpretation of the Logic of Interrogation
We propose a novel interpretation of natural-language questions using a modal predicate logic of knowledge. Our approach brings standard model-theoretic and proof-theoretic techniques from modal logic to bear on questions. Using the former, we show that our interpretation preserves Groenendijk and Stokhof’s answerhood relation, yet allows an extensional interpretation. Using the latter, we get ...
متن کاملA Computational Interpretation of Classical S4 Modal Logic
Plans are programs, and programs are proofs. In particular, multiagent plans are distributed programs, and distributed programs are modal proofs. Inspired by these slogans, I present a new proof system for classical S4 modal logic, based most directly on Wadler’s system for classical propositional logic (2003) and Ghani, de Paiva, and Ritter’s system for intuitionistic modal logic (1998). The s...
متن کاملExtension of Logic regression to Longitudinal data: Transition Logic Regression
Logic regression is a generalized regression and classification method that is able to make Boolean combinations as new predictive variables from the original binary variables. Logic regression was introduced for case control or cohort study with independent observations. Although in various studies, correlated observations occur due to different reasons, logic regression have not been studi...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Annals of Pure and Applied Logic
سال: 1996
ISSN: 0168-0072
DOI: 10.1016/0168-0072(95)00062-3